1. Descriptive set theoretic methods in automata theory : decidability and topological complexity
پدیدآورنده : Skrzypczak, Michal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Descriptive set theory,، Machine theory
رده :
QA
76
.
L28
Vol
.
9802